extended INSTALL.txt to include non-default case