Para a BetterLock, a instalação padrão do site da Cinnamon Spices deve funcionar (consulte as instruções na parte superior esta página ). Usando o Debian Stretch (atualmente 'testando'), a instalação dos menus do sistema falhará. Para corrigi-lo, vá para ~/.local/share/cinnamon/applets e renomeie a pasta betterlock para betterlock@entelechy . Adicioná-lo ao painel deve funcionar agora.
TL; DR: BetterLock pode ser corrigido usando este comando:
mv ~/.local/share/cinnamon/applets/betterlock{,@entelechy}