rpm fedora: use MariaDB 5.5.35-3 on Fedora 20