Fix to Makefile in batchsim