removed bogus AucTeX customizations