Modify makefile for linux distributed execution