fix php autoconf