Update list of files for a minimal installation in INSTALL.