better Vagrantfile, and some more options in the producer