Increased maximum number of input files to 12000