<br><font size=2 face="sans-serif">Can we remove this? &nbsp;It adds a
lot of noise to the build.log</font>
<br>
<br><font size=2 face="sans-serif">--Rolf</font>