rpm fedora: support Fedora 20
rpm fedora: use MariaDB 5.5.34 on Fedora 20