[Pki-devel] [PATCH] patches for debian repo