[PD-cvs] Jenkins build is back to normal : pd-double » debian-testing-amd64 #472