Shouldn't this be done on the `GhcOptions` record instead of on the rendered strings? Or is it done this way because this only applies to the "extra" flags, which are always strings?