Fix linux makefile