config.m4 file for php-extension