Remove byte-compiled AUCTeX files
(The were old; the mechanism is prone to errors during upgrades)