make GNUmakefile work on Linux, not just OS X