On Wed, May 12, 2010 at 1:48 PM, Ithamar R. Adema <ithamar.adema@xxxxxxxxxxxxxxxx> wrote: > Any of the linux > distro's actually split that into the main package containing the runtime > files, and a -dev package including the headers and static libs, which saves > quite a bit of space already.... That would definitely make sense - as long as they're always kept in sync :) Hopefully they'll work on that in the future. - Urias