Error running this command: diff -U 5 "/tmp/Z3CTAN" "/tmp/jl5wiN"
diff -U 5 "/tmp/Z3CTAN" "/tmp/jl5wiN"
No output on STDOUT.