Fedora 20 install - can I revert to the old installer?