diff --git a/_tools/pygments2chroma_xml.py b/_tools/pygments2chroma_xml.py
old mode 100644
new mode 100755
index 2b8a14242..fc04c46b1
--- a/_tools/pygments2chroma_xml.py
+++ b/_tools/pygments2chroma_xml.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 import functools
 import importlib
 import json
diff --git a/_tools/style.py b/_tools/style.py
old mode 100644
new mode 100755
index 0500a1dad..0ec013432
--- a/_tools/style.py
+++ b/_tools/style.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 import importlib
 import sys