tsan: better reports for "unlock of an unlocked mutex"