Work with (and require) newer versions of pycddl.