debian bug #724193 possible fix