Fix PHP autoconf