This change was requested by Allen to fix things on Windows.
But saving all source code as utf8 makes very much sense anyway,
everywhere.