[Pki-devel] [PATCH] Fixed several miscellaneous build issues (see, https://fedorahosted.org/pki/ticket/104)