On Fri, Mar 23, 2012 at 12:04:53PM +0100, Zdenek Kabelac wrote: > Why not using /tools like with do with the rest ? As we intend to package it separately, I think it makes it dependencies more straightforward at the moment. Alasdair