Use ninja instead of make