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