replace pthread with boost_thread