with auctex added