What the World's Fastest Systems Say About Linux