Installation instructions for Debian-based distr