add thread.hpp for boost::thread and std::thread switch