fix makefile on linux