is linux on desktop dead