change aux to auxiliary