I'll definitely file the bug and I will hopefully have some time at work to
get a patch put together. I don't know anything about the binary format,
but hopefully I can spot the differences via a hexdump and that will get me
on the right track. Thanks for checking it out.
On Thu, Apr 24, 2014 at 2:32 AM, Martin Kleppmann