fix Makefile for Linux.