Updating to use latest version of lems