ThreadSanitizer: destroy of a locked mutex

WARNING: ThreadSanitizer: destroy of a locked mutex (pid=6790)
    #0 pthread_mutex_destroy /b/worker/clang-craystable-x86/build/src/compiler-rt/lib/tsan/rtl/tsan_interceptors_posix.cpp:1275 (core_bench+0x2ab986)
    #1 mstro_ofi__msg_context_destroy /cray/css/users/chaine/projects/maestro/maestro-core/maestro/ofi.c:1971 (libmaestro.so.0+0x12e5ae)
    #2 mstro_ofi__select_endpoint /cray/css/users/chaine/projects/maestro/maestro-core/maestro/ofi.c:2147 (libmaestro.so.0+0x12d83b)
    #3 mstro_pm_attach /cray/css/users/chaine/projects/maestro/maestro-core/maestro/ofi.c:2924 (libmaestro.so.0+0x12fb74)
    #4 mstro_pool__connect_to_pm /cray/css/users/chaine/projects/maestro/maestro-core/maestro/pool.c:646 (libmaestro.so.0+0xf93c9)
    #5 mstro_pool_init /cray/css/users/chaine/projects/maestro/maestro-core/maestro/pool.c:668 (libmaestro.so.0+0xf9357)
    #6 mstro_core_init /cray/css/users/chaine/projects/maestro/maestro-core/maestro/core.c:336 (libmaestro.so.0+0xe2704)
    #7 mstro_init /cray/css/users/chaine/projects/maestro/maestro-core/maestro/init.c:98 (libmaestro.so.0+0xe3090)
    #8 main /home/users/chaine/debug/jsc_33/core_benchmark.c:291 (core_bench+0x3084c7)

I cannot reproduce this on devel (d3.3-33-gf6904655) on macos, or on a debian VM.