A bit of reorganization to INSTALL