Correct INSTALL script
Correct bashrc files