diff --git a/check-pol b/check-pol
index 98cf75cbd..0befd8525 100755
--- a/check-pol
+++ b/check-pol
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -eo pipefail
 
 if [ $# -eq 0 ]