docs for debian-prerequ