[Pki-devel] patch for review - Bugzilla Bug #772312 - 32-bit TPS libraries are not being built in the proper location