Fix several other broken ports from gnome3