added ENABLE_DEBUG_LOGGING to config.h