Correct AucTeX installation instructions