Filename: //proc/self/root////usr/share//doc/libz3-4//

./Ninja\.