VMware Workstation 9から10へのアップグレードは見送って、そのままを9を使用していたのです ...