make chars of strings 32 bit long in stead of utf-8 format (just for now. It's a hack)
darcs failed: Unable to "darcs diff" here.
ERROR: repository upgrade required, try `darcs optimize --upgrade`
See http://wiki.darcs.net/OF for more details.