Our Last Time Benchmarking Ubuntu 32-bit vs. 64-bit