Our daily build depends on this, so I hope we can get it fixed by today eve. I will start the daily buld job at 645 or so