MariaDB in Debian has had utf8mb4 as the default charset for more than a year now. Maybe we could close this issue as fixed? https://anonscm.debian.org/cgit/pkg-mysql/mariadb-10.1.git/commit/?id=e6ade2be57856736e8bc8039d71b35f9ffcde48e