Actually print the name of an input file instead of the silly string "input_filename".
Actually print the name of an input file instead of the silly string "input_filename".

ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools