Update bashrc to change setting depending on the platform