Now that org.gnome.Sdk//master no longer includes vapigen, we need an SDK extension to build gnome-boxes.