Use UTF-8 locales because of Travis-CI