update the makefile for Linux