Try to resolve ghc issues