Passing ghc_opts to hsdev's ghc-mod type