debian/3.0pl1-156
bf78c756 · fix the same bug, hopefully with success now ·