Filename: //proc/858//root/usr//share//doc/libgmp10/copyright

./Ninja\.