file names via command line arguments