Update INSTALL information.

Minor change to release process too.