+' | patch -p1
+
+#Magic patch contributed by mattis:
+ echo '--- a/modules/gnome-settings-daemon-plugins/gsd-pointing-device-plugin.c
++++ b/modules/gnome-settings-daemon-plugins/gsd-pointing-device-plugin.c
+@@ -158,6 +158,9 @@
+ plugin_class->activate = activate;
+ plugin_class->deactivate = deactivate;
+ }
++
++static void
++gsd_mouse_extension_plugin_class_finalize(GsdMouseExtensionPluginClass *klass);