make bashrc aware of a local file which is not in repos. Move platform include to end