bashrc: some fixes to ENV vars for Invenio