Changes for Linux's makefile