Probably patches for this bug would also be high priority:

   http://forum.bitcoin.org/index.php?topic=19168.0

It should be an easy fix.