libc.so.6
libm4ri-0.0.20140914.so
