Update Fedora 19 -> Fedora 19/20.