Artifacts of pdt-master #1709