tsan: improve "read unlock of a write locked mutex" report