Possibly fix makefile for linux