Okay.  It sounds like that bug blocks pulling this patch.  I don't mind 
leaving the pull request open in the meantime.