PortalKit: modify build.xml to make them work without eclipse