fixed INSTALL for debian