FTR, I still opted for grave for now even though the issue seems only located in the tools, not in the library. Please correct me though if I'm wrong.
We might adjust that later, but should for sure be fixed in unstable once a fix is available. Regards, Salvatore
