want RHEL iso spec'd on command-line; correct name of output-file