Rename vm_basic to vm_debian to make it clearer