IMO, a better approach would be to set the `ghcOptCcOptions` field to the appropriate value and then call `renderGhcOptions`. You may need to add a new field to `GhcOptions` for `-pgmc`.