add aux to defsys, export symbols