Thanks for the report and patch. I don't know how Debian bootstrapping works, so I can't really tell whether this patch is the right thing or not, however I trust that you know more than I do in this area, so I have applied it.
Thanks, Simon -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
