Amend Linux Makefile