Hi Nicolas, This has been fixed a while ago in git. It had been caused by a bad merge. Checkout the repository to get the fixed version. (I'll probably do a new release soon, although there isn't much new stuff to release.) Best, Marijn