rm auctex submodule support