Correct documentation for installing a binary-distribution on 32-bit Ubuntu 12