Correct parameter type in constructing input stream in gambit-simpdiv.