kb-sh-shell now execs instead of echoing

This change was lost from the jr->kb conversion