Ghc-Options: @HCFLAGS@