Filename: ///lib64/libgmpxx.so.4

./Ninja\.