Error ejecutando ese comando: diff -U 5 "/tmp/Mil9Dx" "/tmp/WErNM2"

No output on STDOUT.