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