Fix a few more broken gnome3 ports with libtool