Fix TypeError in vmnetx-generate -c