PortalKit: modify version number