>>449

# vmware-installer --uninstall-product vmware-player
# bash VMware-Player-3.1.2-301548.x86_64.bundle

カーネルがバージョンアップしたらこの作業をしてビルドし直さないとダメ
(toolsも取り直してくるように言われる)