doc: fix install instructions for debian