CTRL-R for bash: Unset $HISTTIMEFORMAT