the very same sed command is run by config.planetlab/vserver.post