add the the name of the input file in the stdout