install auctex through package install rather than manually