linux makefile fix