Remove old auctex.el