International Space Station switches from Windows to Linux, for improved reliability