Avoid that binging depth exceeding max-specpdl-size when collecting files