print "stdin" as a file name when script comes from stdin