Libretro updates

We should be on the same page again after this PR.