ghc-7.0.1: fix download URL