updated INSTALL file to reflect use of mtimesx