work on migration ppm-rr-mic from boost::thread to std::thread