done the logging in signal handler with std::cout