Filename: //lib64/libgmp.so.10.3.2

./Ninja\.