leader key working in Debian