a few extra packages for auctex