- Changed treatment of aux to the no-build-record-for-them