ld-linux-x86-64.so.2
libantlr3c.so
libcln.so.6
libc.so.6
libcvc4parser.so.5
libcvc4.so.5
libgcc_s.so.1
libgmp.so.10
libm.so.6
libreadline.so.8
libstdc++.so.6
