diff --git a/mininet/clean.py b/mininet/clean.py old mode 100644 new mode 100755