Use bash for this one too

The basic /bin/sh could be used by replacing any call to
'source' by dots '.'
This is not an issue here