diff --git a/dist/tools/has_minimal_version/has_minimal_version.sh b/dist/tools/has_minimal_version/has_minimal_version.sh
index f6afdf3ae9..db16f9e481 100755
--- a/dist/tools/has_minimal_version/has_minimal_version.sh
+++ b/dist/tools/has_minimal_version/has_minimal_version.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 #
 # usage: has_minimal_version.sh <version> <minimal_version> [toolname]
 #   Checks that version >= minimal_version