Fix Makefile on Linux