PortalKit: modify SpecDirProvider and update build-content