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-gcc@lists.debian.org