makefile for linux has been fixed