Hi Dimitar,
On 2011-12-10, Dimitar Popov dimitar.popov@uni-konstanz.de wrote:
the problem should be fixed in the next development snapshot (not available yet, but you can check out the sources from github).
Great, thanks for the super-quick response! I'll do so as soon as possible.
Thanks and greetings