threading lib now can be chosen between boost::thread and std::thread