Add support for installing HEAD in auctex