diff --git a/tools/pgs-pygments.sh b/tools/pgs-pygments.sh
index 168760cc83772fd8f35629cbf999314c320a1c91..e203c31da47697e9c07108734788c44a8e100247 100755
--- a/tools/pgs-pygments.sh
+++ b/tools/pgs-pygments.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /usr/bin/env bash
 
 arguments=()