cannot rely on $BASH_SOURCE now that we're not using bash