fix linux makefile