small fix to split_file.pl