Ah, looks like I got hit by http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=148856 Ignore the last message.
-- Christopher Morris IT Consultant, Information Technology Service, University of Durham Web accessibility: http://www.dur.ac.uk/its/services/web/accessibility/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]