Fix linux makefile issue