Replace MySQL with MariaDB in Fedora 19