Update config.m4

Change of php5 for php7