Include vlen in the solver (yet another regression from 087cd1c)