Make usage-printed option defaults to the actual defaults and not just the
current values of the options (which could have changed).