dist:
	perl build/download-stuff.pl