PortalKit: modify SpecDirProvider, that make the default selection works