rpm fedora: support Fedora 20