updated names of Debian packages