PortalKit: update build.xml of installer for missed things