Document how to install a binary-distribution on 32-bit Ubuntu 12
Release 2.2.9