Work around GNOME bug #741167 which caused bad GIR data (#40).