GNOME 3.12 and FreeBSD (and a virtual machine)