We probably need `:ghc` after a6a8402315.