remove polluting std::cout