Catch should not hijack std::cout