o Change in Makefile and distinfo
o The file was not really unfetchable, the problem was caused
by a wrong DISTNAME in the Makefile. Consequently, I hade to change
not the md5 sum in the distinfo, but the name of the file.