I was fooled -- it is only the display of the number which was broken. I fixed 
this in trunk (r8230).

Regarding the actual bug, I cannot reproduce it anymore: the large file check 
happens correctly with that mirror. I'll assume that something has been changed 
there and close the bug.