Add dependency for the latest AUCTeX