It's non obvious how to set tsan suppression files ...