Ninja: download and build if necessary