For the record, see: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=747270
I think both bug reports should stay open for now, until we can either prove the problem has been fixed, or that the bug is in one package and not the other. Thanks -- Brian May <br...@microcomaustralia.com.au>
