Use the current svn version of Lem to generate the definitions.