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