installed auchtex