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