Update INSTALL file to say that TMV v0.72 is required.