ThreadSanitize build