Hi,
Thank you for reporting this problem. I fixed it in r30681 andr30682. It should show up within 12 hours.
In the future, you canreport problems in our Trac issue tracker, but make sure to Cc themaintainer of the port.