Hi Achim, thanks for the bug report, I would like to set the severity as serious, however, since this bug is already on testing, I will the current version reach it and upload the "fixed" version (just add NDEBUG to the build flags) soon-after. Thanks again, Gianfranco