<style></style><div><font size="2">Hi,</font></div>
<div><font size="2">I met the same problem. But I think it does not effect the 
running of bonmin.</font></div>
<div><font size="2">You can set the parameter when you run bonmin if you use the executable file.<br></font></div>
<div><font size="2">such as:</font></div>
<div><font size="2">bonmin -s <a href="http://stub.nl">stub.nl</a> parameter_name=value</font></div><br clear="all"><br>-- <br><br>Dept. of Computer Science &amp; Technology,<br>Tsinghua University,<br>Beijing, P.R. China<br>
100084 <br><br><br>