rpm fedora: support Fedora 19