Update package names for 32-bit Ubuntu 12.04