diff --git a/stage23/gensyms.sh b/stage23/gensyms.sh
index 89362cd1..e92203ca 100755
--- a/stage23/gensyms.sh
+++ b/stage23/gensyms.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 set -e -o pipefail