InputFileGenerator: Fix random number initialization