added set_os script to make it easier to switch OSes