do_cmake.sh now uses ninja instead of make