MariaDB version (quick hack)