fixed ghc.io URL: http instead of https