Enhancing INSTALL file