ninja: version bumped to 1.5.3.