Update to the fixed version of kodkod.