Use AUCTeX 11.87 from GNU ELPA