ghc-options: @ghc_flags@
cc-options: @cpp_flags@