mysql: default to utf8 character set