Bug#1076406: How to work around this bug on your Debian system

[Bill Miller]

See https://forums.debian.net/viewtopic.php?p=846728#p846728