Add missing packages to Debian install (fixes #82)