support for arm ubuntu 12.04 32bit