Hm. I tried this earlier as I saw the code on Reddit. It doesn't seem to make a difference.
I'm trying a different pkhex file this time. They said renaming the file didn't work, so I made a new one just to mess around with, and saved it as "All Files - pokemon.ekx" right from the start. I have the unzipped bin file and the pkhex file in the SD card, but nothing appears in my box.