fix Makefile for Linux