removed boost::timer in favour of std::clock_t