Use locally installed auctex