Like, an ancient version of bash.
Can you please try doing this:
$ echo $BASH_VERSION
Can you please try doing this:
$ echo $BASH_VERSION
You can try my improved version in the comments: https://gist.github.com/rudolfschmidt/b79b7864bac19cc7148edf...