Fix wrongly ported patch for MariaDB 10.0