Use Boost.Timer for timing