(Hopefully) get auctex as a git clone