Fix build issue with MariaDB 10.2