Yet another Linux makefile fix