Updating K version in INSTALL.