The death of the Linux distro