Perhaps my bug report is related to bug 893474, where similar problems are reported.
Best wishes, Martin -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers