Remove ghc-server references