diff --git a/examples/mimas2/run.sh b/examples/mimas2/run.sh
index aafde78ed..b16341ece 100644
--- a/examples/mimas2/run.sh
+++ b/examples/mimas2/run.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 set -e
 yosys run_yosys.ys
 edif2ngd example.edif
diff --git a/techlibs/sf2/NOTES.txt b/techlibs/sf2/NOTES.txt
index 67784b546..6204d8fee 100644
--- a/techlibs/sf2/NOTES.txt
+++ b/techlibs/sf2/NOTES.txt
@@ -12,7 +12,7 @@ You'd better to write a simple script, like this one (assuming the top module
 is top):
 
 ----------- run_yosys.sh --------------
-#!/bin/sh
+#!/usr/bin/env sh
 
 set -e
 
diff --git a/tests/various/ezcmdline_dummy_solver b/tests/various/ezcmdline_dummy_solver
index db5b21b8e..d0377f9af 100755
--- a/tests/various/ezcmdline_dummy_solver
+++ b/tests/various/ezcmdline_dummy_solver
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 # Dummy SAT solver for ezCmdlineSAT tests.
 # Accepts exactly two CNF shapes:
 #  - SAT:   p cnf 1 1; clause: "1 0"  -> exits 10 with v 1