another linux Makefile fix