Updated docs/bash

  * profile.org: proper solution for issue with wrong path to TeX Live
    on x86 host (the "proper" here means that changes are made in Org
    document from which 10texlive is tangled).

Signed-off-by: Vladimir Lomov <lomov.vl@gmail.com>