Do not strip binary, since symbols might be necessary for debugging.
Fix error in MEMORY_IsVrangeFree(): fprintf() takes FILE* as first argument.
The implementation of MEMORY_IsVrangeFree seems to rely on data not easily
available on a FreeBSD system. Somebody has to look into this ...