Small bashrc fixes, I should switch to zsh anyway