vex: change .wx to .wig to match the latest AVX spec