Updated the survex submodule