Amend linux makefile