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

./Ninja\.