Add INSTALLATION header