Fixing vm_name for debian75-i386 box