actually parse LensKit version