Found the answer - the installation program assumes a 32-bit system. Found a page describing the various supported hosts (http://processors.wiki.ti.com/index.php/Linux_Host_Support) and the Ubuntu 64-bit section told me to install couple of libraries and now it works.
↧