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