Fixed machine-specific .bashrc configs