Since there's disagreement about this patch, I have reverted it. We can put it back in when there's consensus. -- Daniel Jacobowitz CodeSourcery