Turn -H and -Rghc-timing into dynamic flags.