add Ubuntu 32 bits