forgot to bumb vex version :-)