Added the 'obi' prefix in the bash history commands, and fixed a compilation issue with some versions of gcc.

Added the 'obi' prefix in the bash history commands, and fixed a compilation issue with some versions of gcc.