Error running this command: diff -U 5 "/tmp/coqNkh" "/tmp/T7AT7m"

No output on STDOUT.