PortalKit: modify the installer script for 32-bit