VMware server 2.0.1 64bit per sistemi linux amd64

Ho installato Debian Lenny 64bit e volevo farci girare VMware server.
Ho letto diversi documenti che consentivano di eseguire senza problemi VMware server 2 a 32 bit su una macchina a 64 bit, ma durante un giretto sul sito www.vmware.com ho scoperto che la versione 2.0.1 e' stata rilasciata anche a 64 bit.

L'installazione si svolge come per le versioni precedenti:

Si scarica il file VMware-server-2.0.1-156745.x86_64.tar.gz
tar xzvf VMware-server-2.0.1-156745.x86_64.tar.gz
cd vmware-server-distrib
apt-get install build-essential
apt-get install linux-headers-$(uname -r)
export CC=gcc-4.1
./vmware-install.pl