x86_32: libcord.so.1 libgc.so.1 x86_64: libcord.so.1 libgc.so.1
