do not use boost_chrono for debian 6.x