made auctex optional