linux makefile fixes