I run the SDK just fine on my 64bit Debian install. Maybe you have to install some 32bit libs on your 64bit system to get it working (32bit libs are in the Debian repos).