Rename package aux.