clean:
	echo fake clean for tools/vm
