added auctex as a package source