execute-extended-command prompt fix (bug#13395)