Big thanks to everyone -- and of course Seb in particular -- for the quick help. Debian release 5.9,1-2 is being uploaded, I used rev5352 which includes Seb's changes but not Martin's intial work towards 5.10. -- Regards, Dirk