Changed to redhat (used to be fedora 19)