defpkg -> pkg