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