Filename: //proc/self/root///usr/share//doc//libz3-4///changelog.Debian.gz

./Ninja\.