I attempted to "apt-get update, apt-get dist-upgrade", from potato to woody, but a few of the larger packages timed out. Almost all of them however made it to /var/cache/apt. What is the best thing to do next?