Hi, it seems like the latest gcc (2.95.2-6) fixes the optimizer bug, which messed up update-menus. Maybe someone could do a binary-only NMU of menu, so that we have a working menu package again? -Michael