gnome-boxes blocker bug, name resolution fails on first boot