[Wonder-disc] build server

[Mike S. <ms...@md...>]

Sorry about the build server being wacky ... it ran out of disk space  
a couple of days ago.  I cleaned off a bunch of old builds and kicked  
off a new build now.

ms