(*)don't use boost.timer library, since travis CI installs Boost 1.46 by default