use latest stable version of auctex