[[!comment format=mdwn
 username="smcv"
 subject="potential patch"
 date="2015-01-29T19:33:23Z"
 content="""
This sounds like an issue that I hoped we'd already fixed, but
[Debian bug 776181](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=776181) points
out one other situation where it can happen. Could you try the patch from that bug and
see whether that fixes it for you too?
"""]]