tsan: use ninja instead of make (faster and less output)