Dima Kogan <dko...@debian.org> writes: > Otherwise, I can look at patching the sources to obviate the need to > compile their giant "source" files. That'd probably be a good thing to > do anyway. This is the preferred solution, right?
Actually, this was straightforward, and I'm about to push a fixed package. Thanks.