some of the documentation for the Ubuntu 12.04/x86_64 platform #3972