linux Makefile fixes