Print some info about input file to stderr