sync auctex mercurial