[fix] a few compilation issues with the Mac OS X makefile