Fix for G++'s std::thread