Revert "comment out auxx"

This reverts commit 9fba524a21a216c03778d43ad737eff932b9069a.