diff --git a/Tools/i18n/pygettext.py b/Tools/i18n/pygettext.py
new file mode 100755
index 00000000000..ee3ecd22c80
--- /dev/null
+++ b/Tools/i18n/pygettext.py
@@ -0,0 +1 @@
+#! /usr/bin/env python