rpm fedora: update for latest MySQL release on Fedora

This is the last package update for Fedora 17.
In the next release, we support Fedora 18 instead.