Issue #7631: Fix undefined references to the "built-in file object", which

has ceased to be.