Upgrade MariaDB to a higher version, without bricking the install