$src_filename = $ARGV[0];
 $var_filename = $ARGV[1];
 $tgt_filename = $ARGV[2];
 $mac_filename = $ARGV[2];