Small fixes for bash prompt.
use readlink_command in bootstrap.sh.