add auctex support