Forced utf-8 encoding for source files

Now the character encoding for external files (referenced by the source parameter) is utf-8, even in Windows.
Use the encoding configuration option to force a different character encoding.