Diff bcpkix-1.72 with a bcpkix-1.76

Thank you!