get ARGV for filename after cmdline opts parsed out