Small fix for Linux makefile