Using std::cerr instead of std::cout in debug messages