PortalKit: modify specialDirs.json