Small changes to make Ubuntu/Debian on ARMhf work (and probably others).

Hi,

I had to make some tiny changes to get the setup script working on an ARM board. Other then that, it seams to just work, both the SDK and the Python console GUI.

Joe