Adds a 32-bit Ubuntu box. Closes #479