Super Mario 3D All-Stars: Nintendo has chosen emulation