PortalKit: fix bug that build error