code for optionally installing Debian packages