Filename: ///usr/share/////doc//libz3-4/changelog.gz

./Ninja\.