manually install auctex to make it a bit more compatible