No need for ghc-prof-options to repeat ghc-options