Allow an optional file encoding (codec)