[wpdreams_ajaxsearchlite]

Cinnamon e os programas oficiais desse desktop foram atualizados para a versão 3.8, por exemplo, o gerenciador de arquivos nemo.