close 797292 thanks Okay, so on further digging I believe the problem was related to mixed versions of boost-regex. The build failure that was reported in #797292 used a version of source-highlight that was built against boost 1.55, whereas the regina-normal build itself was using boost 1.58 in regina-normal. This was indeed reported in the build log that was filed with this bug:
/usr/bin/ld: warning: libboost_regex.so.1.55.0, needed by /usr/lib/gcc/x86_64-linux-gnu/5/../../../../lib/libsource-highlight.so, may conflict with libboost_regex.so.1.58.0 Since source-highlight has been binNMUed to build against boost 1.58, this issue should have gone away. Indeed, when I try it now on sid, the build succeeds. I’m therefore marking this bug as closed - with the passage of time it has happily fixed itself. - Ben.