Fix #10372: hide CheckedPath's File instance