fix Makefile.linux