simple vagrantfile generated with vagrant init command