PortalKit: modify name in build.xml