Ensures that auctex is installed for latex config