See commit 294c2d6b: std::mutex does not use pthtread_mutex_destroy and this confuses helgrind when two mutexes exist successively on the same address. This should remove spurious false positives in CI.