A new upstream release was published, which circumvents the problem. I updated the debcargo configuration, so the package is ready to upload again. Could you take care of it, werdahias? Thanks a lot! Antonin