Ubuntu 32-bit

Ubuntu has stopped doing 32-bit operating system builds, perhaps to forestall the need to fix 32-bit time_t’s.