Fix linux Makefile