platform specific things to bashrc