use std::chrono instead of boost::chrono (likely solves #3845)