Due to hardware problems on the primary tinderbox machine and difficulties getting in touch with the admins, tinderbox capacity is currently severely reduced. CURRENT tinderbox runs will be sporadic until full capacity is restored. I apologize for the inconvenience, etc. DES -- Dag-Erling Smørgrav - des at des.no