Adds the four debian VMs to machinefile