Override gnome3 poppler to use gtk3.