wget/stamp-h.in