Filename: //lib64/libgmpxx.so.4

./Ninja\.