fix Makefile for Linux machines