Updated survex submodule