I used the Cinnamon default that came with my install of Linux Mint 18.1. Love it and it works just fine. I am just returning back to the Linux world after losing faith with Ubuntu last few years. Friend told me about MINT and he was right. Great OS. (Log in to hide this advertisement) Well I did want to experiment with the KDE desktop so I did a command line install, update, was brought to a screen asking to choose how I wanted to choose my desktop environment at boot. Figured I was all good. I rebooted and still I am given no option and it just starts up in my original Cinnamon.