UCT debug_level: Default to global debug_level