I actually didn't test it, sorry, I would have to fix my 3DS first to do so. I just assumed 3.5 works fine since it's supposed to fix an issue with video streaming, which requires use of the debugger as well.
I hope you can get an older version to work!
Otherwise as I said you can also use JKSM or SaveDataFiler to export the game's Extdata.