diff --git a/henrovnix_ok/assets/scripts/end_script.sh b/henrovnix_ok/assets/scripts/end_script.sh
index 0ccbeff77..161f865a1 100755
--- a/henrovnix_ok/assets/scripts/end_script.sh
+++ b/henrovnix_ok/assets/scripts/end_script.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!${pkgs.bash}/bin/bash
 set -euo pipefail
 
 #creating a timestamp-file to see whether this script ran