config.m4 for php-extension