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