Cannot install 64-bit DS-5 on ubuntu v14.04

Hello,

I'm getting started with DS-5 for android development on ARM.

I can't install DS-5 on my 64-bit ubuntu installation. I think the problem is that the installation tries to install 32-bit libGL.so on a 64-bit host installation.

I used the dependencies check tool before installing

$ sudo ./ds-deps-ubuntu_64.sh

Checking for libc6... installed

...

Checking for zlib1g:i386... installed

Checking for libGL.so.1 (32 bit)... not found

Installing libgl1-mesa-glx:i386... E: Error, pkgProblemResolver::Resolve generated breaks, this may be caused by held packages

I found this similar discussion here on community.arm.com, but it didn't offer a solution:

How to find the missing .so when installing DS-5(64 bit) for Linux

The problem is that when I start eclipse from <DS-5>/bin, and then click on "Open Licence Manager" from the "No Licences Found" pop-up window, eclipse crashes with the message:

eclipse: /build/buildd/gtk2-engines-oxygen-1.4.5/src/animations/oxygencomboboxdata.cpp:87: void Oxygen::ComboBoxData::setButton(GtkWidget*): Assertion `!_button._widget' failed.

Aborted (core dumped)