Update the version of kodkod to fix the unit test issue.