I think that `opt_target` and `opt_file` will never be undefined