Unified file encodings back to ASCII
Fix #11: merge branch 'unify_encoding_back_to_ascii'