Added some auctex support.