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