We need the latest veewee -- 0.3.7 doesn't have the "vbox export" command, so
pull it from @jedi4ever's master for now