Updated to new "DebugDefinitions" header file for debugging