Add Debian support; add missing dependency on BinDeps