Scrivo la soluzione, trovata in rete e funzionante, per chi dovesse avere lo stesso problema: bisogna cancellare il file .recently-used e riavviare la sessione.