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