Correcting a bug in GTK+2 on debian distributions and some Debian Hurd bugs