diff --git a/tools/insert_variant b/tools/insert_variant
index 6fc8e3c..7fb61d2 100755
--- a/tools/insert_variant
+++ b/tools/insert_variant
@@ -1,6 +1,6 @@
 #!/bin/sh
 # (*
-exec /usr/local/bin/ocaml "$0" "$@"
+exec /usr/bin/env ocaml "$0" "$@"
 *) directory ".";;
 
 (* Note: