Include <mutex> explicitly for gcc