"19 of the top 20 supercomputers in the world are running some form of Linux"