Minor updates to bashrc and setup