Small changes to .bashrc_private