When I try to launch the said menu item in GNOME, I get the following error dialog:The exec() call failed.How can I get further information to developers to diagnose the problem?-- David Hunter