debugging.h: include sstream as std::stringstream is used