added Debian support