MariaDB replacing MySQL [was Re: Should MariaDB touch my.cnf in %post?]