x86_64: libc.so.6 libgcc_s.so.1 libglpk.so.40 libgmp.so.10 libgmpxx.so.4 libstdc++.so.6
