Trying to fix Linux make