Re: [Pki-users] [Coolkey-devel] PIV-II middleware bug in coolkey