#default_encoding should override reader encodings