Take care about MariaDB versioning
Merge pull request #742 from nlegoff/mysql-version-detection

Take care about mariadb platform