Add missing modules to INSTALL