> Is it really regarded as useful/necessary for "make extract" to > first build all dependencies, as it currently seems to be the case? Probably not necessary as long as the dependencies used for "make extract" (like unzip) are different from other dependencies.