[Pki-devel] [PATCH] 959 Fixed build problem on RHEL.