makefile changes for Linux