Thanks for the upload, Andreas!If this bug had been tagged [1] like #811740 was, I might have seen it sooner.
I only saw it when I noticed nautic was not migrating in Ubuntu. :(
[1] https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-gcc-6;users=debian-...@lists.debian.org