Apparently the newly added gdb gnats category "gdb-MI" doesn't work with Dejagnu, because of the '-'. It needs to be renamed to something else, probably just "MI". Could somebody do that? Actually, could somebody add the MI category to gdb, let me know, so that I can move the PRs to it, and *then* delete gdb-MI. thanks Elena