Updated INSTALL for debian