I've been using ghc-mod with ghc 7.8.2 for several days now and I'm pretty sure that this setting is not required. Particularly not after 5849a91e8dfba9fa1d4bd10b75aa65e2ce2296da.