Update vex_prefix.flax (format)