libcoin80t64: package-name-doesnt-match-sonames libCoin80c
