add --with-php, default off