rename: Fedora 18 -> Fedora 19