Update kodkod to the fixed PGIA version.