ninja: a simple way to do builds