I believe that second link you posted is outdated. There have been requests on the Riesel Sieve forums to have it updated.

Thanks