Adjust INSTALL info for Debian