MariaDB 5.5 broke again, back to installing explicit versions