fixup! fixup! Don’t use unicode in ceylon-format.bat