VMware Player 5.0.1 on ubuntu 12.10

VMware-Player-5.0.1-894247.x86_64.txt
をダウンロードして
$ sudo bash VMware-Player-5.0.1-894247.x86_64.txt
デフォルトで進めたところ下記のような表示が

VMware Kernel Module Updator

Befor you can run VMware, several module must be compiled and
loaded into the running kernel.

Kernel Headers 3.5.0-21-generic

<中略>

そこで
linux-headers-3.5.0-21-generic_3.5.0-21.32_amd64.deb
をダウンロードしてインストール。
再起動をして、次ぎに進むことができた。