Fix Debian bug 735914