On 06/10/2014 01:36 PM, Bjoern Michaelsen wrote: > OTOH, as said above, some of those might just end up in external/ then (or > already are) ... ...except for those needed by external itself (into which category probably falls wget) Stephan