Linux makefile fix