fixes setup-bashrc.sh yet again