[Pki-devel] Please review [PATCH] Fix of broken build of pki-tps in git repo