PortalKit: modify SpecDirProvider