diff --git a/libs/fst/00_UPDATE.sh b/libs/fst/00_UPDATE.sh
index 91dcd84ff..4fa604b9a 100755
--- a/libs/fst/00_UPDATE.sh
+++ b/libs/fst/00_UPDATE.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 mv config.h config.h.bak
 rm -f *.txt *.cc *.h
diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh
index 6f3eadfe7..44b652f84 100755
--- a/libs/minisat/00_UPDATE.sh
+++ b/libs/minisat/00_UPDATE.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 rm -f LICENSE *.cc *.h
 git clone --depth 1 https://github.com/niklasso/minisat minisat_upstream