+ new XMLRPC_SERVER name to boot.planet-lab.org