Adds option to specify file encoding