... my $file = $ARGV[0]; ...