fix problems installing Ubuntu 32 bit