[Maria-developers] Performance speed-up for DBT3 query set with MariaDB 5.3.0