Fix the Debian part of previous commit