Fix a solver bug

It happened when multiple binaries were available for
a package, and the first one did not support the current
R version or failed to download.