make INSTALL have .txt extension