fix AUCTeX loading