yet more switching to boost steady_clock