Fix Debian setup