Successfully configure AUCTeX