GurobiParametersDialog patch