Last night came an update for Cinnamon and I could not install because of 3 incompatible themes. Ciliora-prima, Ciliora-secunda and Ciliora-tertia. I installed these themes manually and therefore I just deleted them on the spot in the .theme folder. Reboot and still I have these incompatible themes in my system!? What am I missing? What did I do wrong?