Although maybe we just don't check isfile at all and let that error propagate up.  That's an easy and defensible way to avoid this problem.