--- a/tools/mod2spec.sh	Sat Aug 05 20:41:24 2023 +0200
+++ b/tools/mod2spec.sh	Sat Aug 26 15:10:58 2023 +0200
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -eu
 
 echo "spec/${1//./_}_spec.lua"