make sure this file is treated as utf-8