fix LensKit version