INSTALL Doc: Ubuntu 12.04 needs boost (gcc <4.6)