fix md5sum, use our mirror with a fixed-up filename to make sure we get the right...