rpm fedora: use MariaDB 5.5.34-3 on Fedora 20