Done, thanks. BTW, the package has an interesting habit: when calling "make clean", it first builds the dependency files, before cleaning up. No idea if this is actual intentional and it's probably not worth bothering. Thomas