Fix makefile for Linux