Bug fix in boost::thread