Include "Debug.h" to support gcc 4.5