Accomodate recent changes to the AUXes