We don't need bash features, so use a generic posix-shell (/bin/sh).
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
#
# Copyright (C) 2020 Matteo Savatteri and Matteo Zeccoli Marazzini.