Need to have the version of kodkod with fixes.