rpm fedora: use MySQL 5.5.31 on Fedora 18