Correct way of invoking AUCTeX