diff --git a/Tools/PrintVersion.py b/Tools/PrintVersion.py old mode 100644 new mode 100755