Updated repo name in INSTALL in README