FreeFem-sources
FreeFem-sources copied to clipboard
FreeBSD fixes
This pushes two modifications needed on FreeBSD.
Note: I don't know if they are FreeBSD-specific or if they may be applied for all systems.