Editing: libgmp.so.10.4.0

BATAL