previous change trashed the -k option to mkfedora