Make AUCTeX work