Minor bug fix and bump to Ninja 1.3