x86_64: libCoin.so.80
