festival: install-info-not-called-with-section-option
