Coral Vagrant boxes and Veewee definitions