VMware Player 5.0.0にアップデート。

サーバーが混んでるのか、アップデートが失敗するので、

http://www.filehippo.com/jp/download_vmware_player/

からダウンロードして更新。

Ubuntu 12.04のGUIが速くなった気がする。