auctex sucks