TINSEL: Add missing getDebugger() for engine API.