note on MySQL encodings