move aux/ to pkg/