Hey there! I've been following the wiiu.guide guide, and I'm on the Haxchi part. I have Mario 64 DS on my system, but when I run the haxchi installer it says "finished installing haxchi". When it goes back to the home menu, the game is still super Mario 64, but it does load the hbl. What?