Has linux had its day on the desktop?