Thank you very much for the patch Adrian, I confirm it works. I'll upload a new version soon.
What is the recommended way to depend on GCC? Should the package depend on g++ (>= 4:6), or should it depend on gcc-6 with a build adjusted to use it? Emmanuel Bourg