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