Fix OptionsProcessor::process_debug_options() defintion