fix encoding: Windows-1252 => UTF-8

Encoding of files got changed when mass-adding license to files
via a python script. This has caused intermittent errors.