FWIW, I am succesfully using the cores that can be downloaded within Retroarch itself using the "Online Updater" menu. I think this bug can be closed?