add file encoding to stop python complaining about non-ASCII characters