all:
	mv makefile makefile.customize
	mv system.h system.h.vms
	sh ./customize
	make