Restore std::cout instead of printf()