Add read_dummy_option() to handle old/deprecated options.