Ok, no easy way it seems. I had to download the already patched game (and to the Nintendo ninjas hearing me: I own 2 copies of TMS, 1 euro and 1 japanese so stfu), repacked it with nuspacker iirc and then finally installed as normal.. a couple of failed attempts later I finally got it to work...