add patch for MariaDB 5.5.40