Fix Debian build