You call yourselves journalists
Did you even bother to download a copy of Red Star 3.0 and a hex editor to verify this behavior?
I've tried a dozen different file formats and RS3.0 doesn't modify the file in any way.
Hex code beforehand open in Hex editor on Mac OS X: https://i.imgur.com/oOoWssF.png
Thumb drive open in Red Star 3.0: https://i.imgur.com/MiORhD3.jpg
Hex code open again back in Mac OS X: https://i.imgur.com/uqAvXC6.png
Every time the hex code is exactly the same and the md5 checksum is unchanged. Unless I somehow magically downloaded a "pure" version of Red Star 3.0 I can't see how this is happening. Try it yourself with a freshly formatted thumb drive if you don't believe me.