gnu-head-banner.png:
	curl -O http://www.gnu.org/graphics/gnu-head-banner.png