Would Linux survive if Ubuntu died?