[PD-dev] w32 PdLab machine broken (was Re: w32 PdLab machine down?)