VEX submodule added.