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