Re: do_cmake.sh now uses ninja instead of make