instructions for debian added.