Debian fix