added MariaDB version 10.0