Very basic auctex config.