Tweak Makefile to fix GNU/Linux compatibility