"Levy Abinajm Melero Sant'Anna" <levy.santanna at gmail.com> writes: > I think its a debian menu package bug. Looks like it. Can you please run "gdb --args update-menus --trigger" and then paste the output of the following gdb commands: run backtrace x/5i $pc info register