diff --git a/bob/devtools/bootstrap.py b/bob/devtools/bootstrap.py
old mode 100755
new mode 100644