ssh-vm.py: speed up scan