
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">

  </head>

  <body bgcolor="#ffffff" text="#000000">

    <font face="DejaVu Sans">Thomas,<br>

      <br>

      If you don't want to revert the API change then you might try the

      attached patch.  It seemed to cover the main trouble spot as far

      as my grep skills could uncover.  <br>

      <br>

      Thanks,<br>

      Justin Mayfield<br>

    </font>

  </body>

</html>