tweak File.__repr__