default source encoding=utf-8