Oops, add INSTALL.bash