Re: [Pki-devel] [PATCH] various fixes to pki-deploy