diff --git a/henrovnix_ok/assets/scripts/end_script.sh b/henrovnix_ok/assets/scripts/end_script.sh
index 0ccbeff77..b3c132462 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
+#!/bin/sh
 set -euo pipefail
 
 #creating a timestamp-file to see whether this script ran