changed std::cout to hpx::cout