php-src/stamp-h.in