Gracefully handle when LaTeX and auctex is missing