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