Fix file encodings in d875da33.

dak180 review of #143.