rpm fedora: use MariaDB 5.5.32 on Fedora 19

Oops!