include <mutex> header for more recent g++ versions