ninja is always recompiling everything

(at least) version 1.13.2 is broken (as currently in debian unstable)

get the latest version from git, fixed by https://github.com/ninja-build/ninja/pull/2764