are we sure we won't hit any encoding issues if we don't open this file with an explicit UTF-8 encoding