diff --git a/build_tools/version-available-in-debian.sh b/build_tools/version-available-in-debian.sh
index 96b439e9a..ebe985cdd 100755
--- a/build_tools/version-available-in-debian.sh
+++ b/build_tools/version-available-in-debian.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -euo pipefail