add support for Debian Linux distribution