Error running this command: diff -U 1 "/tmp/RMLoex" "/tmp/I0dkFc"
diff -U 1 "/tmp/RMLoex" "/tmp/I0dkFc"
No output on STDOUT.