+[ -n "$WORKSPACE" ] || die "No WORKSPACE"
+[ -d "$WORKSPACE" ] || die "WORKSPACE ($WORKSPACE) does not exist"
+
+echo "XXXX Cleanup previous attempts. Remaining content of /tmp:"
+rm -f /tmp/cc*
+rm -f /tmp/simgrid-mc-*
+rm -f /tmp/*.so
+rm -f /tmp/*.so.*
+ls /tmp
+df -h
+echo "XXXX Let's go"
+
+set -e
+
+### Check the node installation
+
+pkg_check() {
+ for pkg