On Wed, Jul 20, 2005 at 15:08:00 +0200, Asheesh Laroia wrote: > http://paulproteus.acm.jhu.edu/mga-x/ $ host paulproteus.acm.jhu.edu ;; connection timed out; no servers could be reached Your name servers don't seem to work, could you please fix this or make the patch available at a different url? Cheers, Julien Cristau