No, I had the game on system memory when I had Haxchi installed, deleted it from settings, redownloaded from eshop and moved it to USB and removed the SD card with the Haxchi files. No visible leftover from Haxchi except to what I'm playing on Friend List, when you press Home is shows SM64DS but...