accept Files in addition to filenames (which are of type String)