gnome-extra/gnome-boxes: Wait until 3.8 is in the overlay.