I copy-pasted these files loooong before I did the utf8_t stuff.  I've freshly copy-pasted everything.