new file:   src/INSTALL