Improve AUCTeX configuration