Use updated version of vex.