OPTIONS_GHC overrides the command-line, not the other way around