went down to 32-bit Ubuntu due to popular demand.