Some trivial improvements

default to ninja, drop annoying warning