Not sure, could be a bug in the port, since it's reasonably old. I
don't know C# and we don't maintain that code. If you find a solution,
you're welcome to contribute a patch. You might compare to the latest
version of the Java code to perhaps find that the Java code has fixed
it.