Fix build error on MariaDB