update auctex submodule