Fix libretro repo on 32-bit linux