On Wed, Jul 02, 2008 at 04:19:21PM +0200, Michael wrote:
Well, with a bug report as detailed as this all I can say is it's probably been fixed, try a new snapshot.