extra/ghc md5sums fix