diff --git a/src/plugins/value/gen-api.sh b/src/plugins/value/gen-api.sh
index fa37740dc392f86cc112c3dd5e09e4a9d7b49416..d00c16fdd4a1175ff780c5479fbb266043c7ba49 100755
--- a/src/plugins/value/gen-api.sh
+++ b/src/plugins/value/gen-api.sh
@@ -1,4 +1,5 @@
-#!/bin/bash -eu
+#!/usr/bin/env bash
+set -eu
 
 printf '(** Eva public API.