PHP: Do not force extensions re-install unless _PHP_FORCE_REINSTALL=YES