Make Vagrantfile more community friendly