change time computation from boost to std::chrono .