correct "...#define NDEBUG..." in main.cpp