Supporting File#external_encoding (fixes #12)