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

./Ninja\.