Reverting to ghc-mod 4.x, preparing release