Remove obsolete configure option: --with-php