Instruct MySQL users to set DATABASE_ENCODING to `utf8mb4`.

cf. GH-286