libc.so.6
libgmp.so.10
libhogweed.so.5
libnettle.so.7
