tfw you export a pkm file, rename it "main", and expect it to behave as if it were a save file
PKHeX can work on Mac too.
You should really be playing this on your legitimately purchased 3DS and cartridge/digital purchase, rather than on an emulator where you've dumped your legitimately purchased game via your legitimately purchased 3DS. Just sayin'