makefile pushes to many machines