fixing some Makefile bugs on linux