add Python fileinput