@stefano It's hard to get people to understand that the right way of writing scripts is to do

#!/usr/bin/env bash

or equivalent. So then it works especially when you're needing a custom version of whatever the tool is that has priority in your $PATH