#10871: "file" does not exist anymore in Python 3. Also adapt the reprs of opened file objects.