With working VagrantFile