Removed DebugManager from the reduced version
(was unnecessary here. resulted in faster compilation)