source RPM ghc-6.0