rpm fedora: use MySQL 5.5.35 on Fedora 20