[[ BUg 13658 ]] Only Windows and the servers convert the line-endings of the shell output