LIBRETRO: Update libretro header