Add UTF-8 encoding so that this code is portable