I recall there's a tool that builds small .deb packages that Provides some dependency, without doing any actualy work. What package is this tool in? Try as I might, I haven't been able to find it. Thanks, Shaun