What is this doing? This redefines the url & sha1 above to a completely different download; we don't allow this pattern.