Fix wrong sourcing of bashmarks.sh in bashrc