Work around for debian bug #715416