fix vex version number