Editing: libgmp.so.10.3.2