So I'm looking to clean up the files on my 3DS' SD card to free up some space. I used Boop/FBI a few times recently to install CIA files, but sometimes it would say something like "install/transfer failed," however these ghost files would still take up space, even when I put the CIA on the SD...