Added check for global auctex installation