[PD-cvs] Build failed in Jenkins: pd-double » ubuntu-lts-amd64 #469