remove files from planetlab-4_0-branch that were branched accidentally from the HEAD...