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

./Ninja\.