Everything is working now. Essentially, this was the same bug as this one: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=287933 which was closed some weeks ago. cheers -simon