rpm fedora: switch to Fedora 20