Correction: Kurt Hornik says that the installation most likely times out due to the hardware running the checks being more than a decade old. The problems should disappear once the new hardware, already received, is up and running. (Something prevents him from replying directly to the list.)