Added support for a local auctex installation.