Small Linux Makefile improvement