One last fix for Debian unstable.