Pass more -pgm flags in the ghc wrapper; fixes #3863