Was only needed because ghc-mod failed to run