* ./src/interface/main.c: disabled the GNOME segfault dialog in debug
    mode. We want nice, clean segfaults, with huge core files and a lot
    of rattle noise.