Correction to commands to strip special chars from Jenkins test log (no input file) (commit: 12bec7d)