replace a deprecated configuration option with a new one