Update vex files with most recent version.