Update libmincrypt to 4.2.2_r1.2