libc.so.6
libgmp.so.10
libnettle.so.8
