#1088844 <mailto:[email protected]>
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1088844 Perhaps this will be useful.
Additionally info: I remembered that I had a previous similar
compilation error in an already resolved bug report
